reducibility axiom

可约性公理